
#include "uart.h"

void board_init()
{
	uart_init((void *)UART_BASE_ADDR, UART_BASE_ADDR);
}